On Painlevé/gauge theory correspondence

On the Gauge Theory/Geometry Correspondence

The ’t Hooft expansion of SU(N) Chern-Simons theory on S is proposed to be exactly dual to the topological closed string theory on the S blow up of the conifold geometry. The B-field on the S has magnitude Ngs = λ, the ’t Hooft coupling. We are able to make a number of checks, such as finding exact agreement at the level of the partition function computed on both sides for arbitrary λ and to al...

Query Answering Based on Modal Correspondence Theory

We propose a query answering technique applicable to a wide family of cyclic conjunctive queries with one distinguished variable. It exploits the fact that, given such a query, one can build in linear time a concept of some Description Logic (DL) such that to answer the query w.r.t. any knowledge base (KB) is the same as to find all instances of that concept. Notably, the method is uniform: the...

On certain aspects of string theory / gauge theory correspondence

N = 2 supersymmetric Yang-Mills theories for all classical gauge groups, that is, for SU (N), SO(N), and Sp(N) is considered. The formal expression for almost all models accepted by the asymptotic freedom are obtained. The equations which define the Seiberg-Witten curve are proposed. In some cases they are solved. It is shown that for all considered the 1-instanton corrections which follows fro...

Intuitionistic Correspondence Theory

Coalgebraic Correspondence Theory

We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In particular, we prove a coalgebraic version of the van Benthem/Rosen theorem stating that both over arbitrary structures and over finite structures, coalgebraic modal logic is precisely the bisimulation invariant fragment of first-orde...